Improving the Learning and Teaching of Mathematical Logic Elements Using Maple

The study of the elements mathematical logic and its sections, especially in process teaching high school general specialized courses mathematics or higher educational institutions, is a rather tricky task. paper demonstrates how one can design develop package interactive applications to help learn, understand, apply essential logic. research aims describe an application for studying order constructing truth tables demonstrating production principal normal disjunctive conjunctive forms. development based on methods Maple computer algebra system Maplet library. In addition, other are used solve issues – theoretical accurate analytical solutions issues. All constructed material (Maplet) will serve as good simulator students, allowing perform infinite number attempts analyze, synthesize, build tables.